class RefreshBuildingIndexTerminalSettingsEvent {
  RefreshBuildingIndexTerminalSettingsEvent();
}